Make it possible to hide custom titlebars
authorMatthias Clasen <mclasen@redhat.com>
Mon, 30 Sep 2013 23:26:07 +0000 (19:26 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Tue, 1 Oct 2013 00:19:08 +0000 (20:19 -0400)
commitc02a12a7460fb270c22db6958bf9024ecde8104a
treeba68479f5406b4b8623f534172822956360f4fee
parent41b9a17dfc46cc058982e4c69633d68610658921
Make it possible to hide custom titlebars

Previously, we were showing and hiding the custom titlebar
widget in response to state changes such as maximization.
Instead, use gtk_widget_set_child_visible() and leave
show/hide to applications. This makes it possible to set
a custom titlebar and hide it, for a titlebar-less appearance.

https://bugzilla.gnome.org/show_bug.cgi?id=707132
gtk/gtkwindow.c